Award CNRS Silver Medal

George Sarton Medal (1961)

American Academy of Arts & Sciences (1956)

Binoux Prize (1940)

Great prize of the EADS Foundation (2006)

ACM SIGPLAN Programming Languages Achievement Award (2013)

IEEE Harlan D. Mills award (2014)

IEEE John von Neumann Medal (2018)

EATCS Award (2022)

Ordre National du Mérite (Knight)

Ordre des Palmes Académiques (Knight)

Grand Prix of the International Union of Air Pollution Prevention Associations (1991)

Grand Prix of the French Atomic Energy Commission of the French Academy of Sciences (2001)

Alfred Wegener Medal (2004)

Chevalier of the French Order of Merit (1990)

Chevalier of the French National Order of the Legion of Honor (2001)